(cast %d)